71 search results for "author:"Simon Cruanes""
Showing 51 - 71
-
Runtime library for Protobuf tooling3.0.2MITUsed by 5 other packages14 Feb 2024
-
Runtime library for ocaml-protoc to support RPC services3.0.2MITUsed by 1 other packages14 Feb 2024
-
Runtime library for ocaml-protoc to support JSON encoding/decoding3.0.2MITUsed by 2 other packages14 Feb 2024
-
ppx_trace
No documentation
0.7MITUsed by 0 other packages11 Mar 2024 -
Allows to print nested boxes, lists, arrays, tables in several formats0.11BSD-2-ClauseUsed by 10 other packages08 Mar 2024
-
Printbox unicode handling0.11BSD-2-ClauseUsed by 3 other packages08 Mar 2024
-
Printbox Markdown rendering0.11BSD-2-ClauseUsed by 1 other packages08 Mar 2024
-
Text renderer for printbox, using unicode edges0.11BSD-2-ClauseUsed by 7 other packages08 Mar 2024
-
QBF solving in OCaml, including bindings to solvers0.3BSD-3-clauseUsed by 0 other packages13 Jan 2021
-
Lightweight inline test extraction from comments2.11.2Used by 22 other packages12 Feb 2021
-
1.1BSD-2-ClauseUsed by 10 other packages15 Jul 2018
-
Experimental model finder/SMT solver for functional programming0.6.1Used by 0 other packages14 Nov 2019
-
0.5BSD-2-ClauseUsed by 0 other packages17 Apr 2024
-
0.5MITUsed by 0 other packages04 Jan 2022
-
0.6Used by 1 other packages09 Feb 2019
-
trace
No documentation
A stub for tracing/observability, agnostic in how data is collected0.7MITUsed by 9 other packages11 Mar 2024 -
trace-fuchsia
No documentation
A high-performance backend for trace, emitting a Fuchsia trace into a file0.7MITUsed by 0 other packages11 Mar 2024 -
trace-tef
No documentation
A simple backend for trace, emitting Catapult/TEF JSON into a file0.7MITUsed by 6 other packages11 Mar 2024 -
Client bindings to the Tracy profiler (v0.10)0.4BSD-3-ClauseUsed by 0 other packages06 Dec 2023
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021
-
Support tools for Zipperposition2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021